- конечная квантификация
- finite quantification мат.
Русско-английский научно-технический словарь Масловского. 2015.
Русско-английский научно-технический словарь Масловского. 2015.
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия